protocol trans_WrongDirection {

child:
    async Msg();
    async __delete__();

state S1:
    recv Msg goto S1;

start state _:
    send __delete__();
};
